Discrete-Event Systems in a Dioid Framework: Control Theory
نویسندگان
چکیده
This chapter deals with the control of discrete-event systems which admit linear models in dioids (or idempotent semirings), introduced in the previous chapter (see also the books [1, 19]). These systems are characterized by synchronization and delay phenomena. Their modeling is focused on the evaluation of the occurrence dates of events. The outputs correspond to the occurrence dates of events produced by the system and the inputs are the occurrence dates of exogenous events acting on it. The control of the system inputs will lead to a scheduling of these occurrence dates such that a specified objective for the system be achieved. For example, in a manufacturing management context, the controller will have to schedule the input dates of raw materials or the starting of jobs in order to obtain required output dates for the produced parts.
منابع مشابه
Recent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملSupervisory control of heap models using synchronous composition
Heaps models are powerful models for concurrent timed discrete event systems. They admit linear description using dioid algebras. Inspired by supervisory control of logical discrete event systems we introduce parallel composition of heap models, called synchronous product, to formally describe the action of supervisor (represented by another heap model) on the system. This additional explicit c...
متن کاملRobust controller design for timed event graphs in dioids
This paper deals with feedback controller synthesis for timed event graphs in dioids, where the number of initial tokens and time delays are only known to belong to intervals. The synthesis presented here is mainly based on dioid, interval analysis and residuation theory. keyword Discrete-event systems ; Timed event graphs ; Dioid ; Interval analysis ; Residuation theory ; Feedback synthesis
متن کاملReal-time Scheduling and Control of a Flow-shop Using Dioid Algebra
Nicholas G. ODREY Professor, Department of Industrial & Manufacturing Systems Engineering, Lehigh University, Bethlehem, PA 18015, USA. ABSTRACT A real-time scheduling and control methodology in dioid algebra that allows repeated production of parts over the planning horizon of a flow-shop in the presence of disturbances is proposed in this paper. The behavior of a manufacturing system as an di...
متن کاملTO IEEE TRANSACTIONS ON AUTOMATIC CONTROL 1 Synthesis of Greatest Linear Feedback for TimedEvent Graphs in
1 Synthesis of Greatest Linear Feedback for Timed Event Graphs in Dioid Bertrand Cottenceau, Laurent Hardouin, Jean-Louis Boimond and Jean-Louis Ferrier Abstract|This paper deals with the synthesis of greatest linear causal feedback for Discrete Event Systems whose behavior is described in dioid. Such a feedback delays as far as possible the input of the system while keeping the same transfer r...
متن کاملLinear Periodic Systems Over Dioids
A specification of the linear system theory over dioids is proposed for periodic systems. Using the conventional periodic system theory as a guideline, we study periodic systems for which the underlying algebraic structure is a dioid. The focus is on representations (impulse response and state model) associated with such systems, the properties of these representations as well as the state spac...
متن کامل